mu . bimap id mu = mu . bimap mu id